1. Achieving quality software : including its application to safety-related systems
پدیدآورنده : Smith, David J. )David John(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Computer software -- Quality control,، System safety,، Software -- Quality control
رده :
QA
76
.
76
.
A35
1995
2. Advanced topics in exception handling techniques
پدیدآورنده : Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
3. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
4. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
5. Automotive Systems Engineerin
پدیدآورنده : / edited by Markus Maurer, Hermann Winner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer science,Engineering design,Electronic books
رده :
E-BOOK
6. Embedded Control System Desig
پدیدآورنده : / by Alexandru Forrai
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Industrial engineering,Electronic books
رده :
E-BOOK
7. Essentials of software engineering /Frank Tsui and Orlando Karam.
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Software engineering.
رده :
QA
76
.
758
.
T78
2011
8. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
9. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
10. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
11. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
12. Practical industrial safety, risk assessment and shutdown systems for industry
پدیدآورنده : / Dave Macdonald
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Automatic control,Industrial safety,Risk assessment,Electronic books. , local
رده :
E-BOOK
13. Real-time systems design and analysis. ]CD[
پدیدآورنده : Laplante, Phillip A.,Phillip A. Laplante
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Real-time data processing,، System design
رده :
QA76
.
54
.
L37
2004
14. Requirements Engineering with Use Cases. - a Basis for Software Development
پدیدآورنده : Regnell,Bjorn
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
15. Requirements engineering for software and systems
پدیدآورنده : / Phillip A. Laplante
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Software engineering.,System design.,Requirements engineering.
16. Smart multicore embedded systems
پدیدآورنده : / Massimo Torquati, Koen Bertels, Sven Karlsson, Francois Pacull, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel programming (Computer science),Embedded computer systems, Design and construction,Multiprocessors,Parallel processing (Electronic computers),Engineering,Circuits and Systems,Processor Architectures,Electronics and Microelectronics, Instrumentation
رده :
E-BOOK
17. Software & Systems Requirements Engineering in Practice
پدیدآورنده : Brian Berenbachand...[et al]&
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Software Engineering,System Design,Requirements Engineering
رده :
QA
,
76
.
758
,.
S6452
,
2009
18. Software & systems requirements engineering
پدیدآورنده : / Brian Berenbach ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Software engineering,System design,Requirements engineering
رده :
QA76
.
758
.
S645
2009
19. Software & systems requirements engineering : in practice
پدیدآورنده : Brian Berenbach ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، System design,، Requirements engineering
رده :
QA
76
.
758
.
S6452
2009